$\forall$${\it es}$:ES, $T$:Type, $I$:MaInterface($T$).
\\[0ex]ma{-}interface{-}consistent2(${\it es}$;$I$) $\Rightarrow$ ($\forall$${\it Ia}_{1}$,${\it Ia}_{2}$$\in$[[$I$$\mid\forall$]].  ${\it Ia}_{1}$ $\cap$ ${\it Ia}_{2}$ = 0)